% Facts for edges between stations and the train line

edge("Joo Koon", "Pioneer", "EW").
edge("Pioneer", "Boon Lay", "EW").
edge("Boon Lay", "Lakeside", "EW").
edge("Lakeside", "Chinese Garden", "EW").
edge("Chinese Garden", "Jurong East", "EW").
edge("Jurong East", "Clementi", "EW").
edge("Clementi", "Dover", "EW").
edge("Dover", "Buona Vista", "EW").
edge("Buona Vista", "Commonwealth", "EW").
edge("Commonwealth", "Queenstown", "EW").
edge("Queenstown", "Redhill", "EW").
edge("Redhill", "Tiong Bahru", "EW").
edge("Tiong Bahru", "Outram Park", "EW").
edge("Outram Park", "Tanjong Pagar", "EW").
edge("Tanjong Pagar", "Raffles Place", "EW").
edge("Raffles Place", "City Hall", "EW").
edge("City Hall", "Bugis", "EW").
edge("Bugis", "Lavender", "EW").
edge("Lavender", "Kallang", "EW").
edge("Kallang", "Aljunied", "EW").
edge("Aljunied", "Paya Lebar", "EW").
edge("Paya Lebar", "Eunos", "EW").
edge("Eunos", "Kembangan", "EW").
edge("Kembangan", "Bedok", "EW").
edge("Bedok", "Tanah Merah", "EW").
edge("Tanah Merah", "Simei", "EW").
edge("Simei", "Tampines", "EW").
edge("Tampines", "Pasir Ris", "EW").
edge("Tanah Merah", "Expo", "CG").
edge("Expo", "Changi Airport", "CG").
edge("Jurong East", "Bukit Batok", "NS").
edge("Bukit Batok", "Bukit Gombak", "NS").
edge("Bukit Gombak", "Choa Chu Kang", "NS").
edge("Choa Chu Kang", "Yew Tee", "NS").
edge("Yew Tee", "Kranji", "NS").
edge("Kranji", "Marsiling", "NS").
edge("Marsiling", "Woodlands", "NS").
edge("Woodlands", "Admiralty", "NS").
edge("Admiralty", "Sembawang", "NS").
edge("Sembawang", "Yishun", "NS").
edge("Yishun", "Khatib", "NS").
edge("Khatib", "Yio Chu Kang", "NS").
edge("Yio Chu Kang", "Ang Mo Kio", "NS").
edge("Ang Mo Kio", "Bishan", "NS").
edge("Bishan", "Braddell", "NS").
edge("Braddell", "Toa Payoh", "NS").
edge("Toa Payoh", "Novena", "NS").
edge("Novena", "Newton", "NS").
edge("Newton", "Orchard", "NS").
edge("Orchard", "Somerset", "NS").
edge("Somerset", "Dhoby Ghaut", "NS").
edge("Dhoby Ghaut", "City Hall", "NS").
edge("City Hall", "Raffles Place", "NS").
edge("Raffles Place", "Marina Bay", "NS").
edge("HarbourFront", "Outram Park", "NE").
edge("Outram Park", "Chinatown", "NE").
edge("Chinatown", "Clarke Quay", "NE").
edge("Clarke Quay", "Dhoby Ghaut", "NE").
edge("Dhoby Ghaut", "Little India", "NE").
edge("Little India", "Farrer Park", "NE").
edge("Farrer Park", "Boon Keng", "NE").
edge("Boon Keng", "Potong Pasir", "NE").
edge("Potong Pasir", "Woodleigh", "NE").
edge("Woodleigh", "Serangoon", "NE").
edge("Serangoon", "Kovan", "NE").
edge("Kovan", "Hougang", "NE").
edge("Hougang", "Buangkok", "NE").
edge("Buangkok", "Sengkang", "NE").
edge("Sengkang", "Punggol", "NE").
edge("HarbourFront", "Telok Blangah", "CC").
edge("Telok Blangah", "Labrador Park", "CC").
edge("Labrador Park", "Pasir Panjang", "CC").
edge("Pasir Panjang", "Haw Par Villa", "CC").
edge("Haw Par Villa", "Kent Ridge", "CC").
edge("Kent Ridge", "one-north", "CC").
edge("one-north", "Buona Vista", "CC").
edge("Buona Vista", "Holland Village", "CC").
edge("Holland Village", "Farrer Road", "CC").
edge("Farrer Road", "Botanic Gardens", "CC").
edge("Botanic Gardens", "Caldecott", "CC").
edge("Caldecott", "Marymount", "CC").
edge("Marymount", "Bishan", "CC").
edge("Bishan", "Lorong Chuan", "CC").
edge("Lorong Chuan", "Serangoon", "CC").
edge("Serangoon", "Bartley", "CC").
edge("Bartley", "Tai Seng", "CC").
edge("Tai Seng", "MacPherson", "CC").
edge("MacPherson", "Paya Lebar", "CC").
edge("Paya Lebar", "Dakota", "CC").
edge("Dakota", "Mountbatten", "CC").
edge("Mountbatten", "Stadium", "CC").
edge("Stadium", "Nicoll Highway", "CC").
edge("Nicoll Highway", "Promenade", "CC").
edge("Promenade", "Bayfront", "CE").
edge("Bayfront", "Marina Bay", "CE").
edge("Promenade", "Esplanade", "CC").
edge("Esplanade", "Bras Basah", "CC").
edge("Bras Basah", "Dhoby Ghaut", "CC").